More from this Author

Recent Trends in Data Type Specification

by Workshop on Specification of Abstract Data Types Staff, Egidio Astesiano (Editor), Gianna Reggio (Editor), Andrzej Tarlecki (Editor)